[[Finite group]]
# Category of finite groups

The **category of finite groups** $\cat{FinGrp}$ is a [[category]] where
an object is a [[finite group]]
and a morphism is a [[group homomorphism]]. #m/def/group 
It is a [[Subcategory|full subcategory]] of [[Category of groups]].

#
---
#state/develop | #lang/en | #SemBr